# AND
output1 := true if {
    input.a
    input.b
    input.c
}

# OR
output2 := true if {
    input.a
}

output2 := true if {
    input.b
}

output2 := true if {
    input.c
}
